Implementing Metropolis Quantity Managers in Ptolemy II
نویسنده
چکیده
This paper proposes an approach to implement Metropolis quantity manager mechanism in Ptolemy II, by utilizing the AspectJ which adds to Java aspect-oriented programming (AOP) capabilities. The benefits and limitations of this approach are also discussed.
منابع مشابه
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...
متن کاملExtending the Real-Time Maude Semantics of Ptolemy to Hierarchical DE Models
This paper extends our Real-Time Maude formalization of the semantics of flat Ptolemy II discreteevent (DE) models to hierarchical models, including modal models. This is a challenging task that requires combining synchronous fixed-point computations with hierarchical structure. The synthesis of a Real-Time Maude verification model from a Ptolemy II DE model, and the formal verification of the ...
متن کاملA Framework for Dynamic Volume Rendering in Ptolemy II
The framework for Dynamic Volume Rendering in Ptolemy II and the issues that arise with it are introduced in this paper. The motivation for volume rendering in Ptolemy II, is for the application of medical imaging. A toolkit for medical imaging was an initial goal of this work. However, the author slowly realized that having a deeper understand of the existing work, Ptolemy II and the API Java ...
متن کاملVerifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
This paper defines a real-time rewriting logic semantics for a significant subset of Ptolemy II discreteevent models. This is a challenging task, since such models combine a synchronous fixed-point semantics with hierarchical structure, explicit time, and a rich expression language. The code generation features of Ptolemy II have been leveraged to automatically synthesize a Real-Time Maude veri...
متن کامل